Schedule Insensitivity Reduction
نویسنده
چکیده
The key to making program analysis practical for large concurrent programs is to isolate a small set of interleavings to be explored without losing precision of the analysis at hand. The state-of-the-art in restricting the set of interleavings while guaranteeing soundness is partial order reduction (POR). The main idea behind POR is to partition all interleavings of the given program into equivalence classes based on the partial orders they induce on shared objects. Then for each partial order at least one interleaving need be explored. POR classifies two interleavings as non-equivalent if executing them leads to different values of shared variables. However, some of the most common properties about concurrent programs like detection of data races, deadlocks and atomicity as well as assertion violations reduce to control state reachability. We exploit the key observation that even though different interleavings may lead to different values of program variables, they may induce the same control behavior. Hence these interleavings, which induce different partial orders, can in fact be treated as being equivalent. Since in most concurrent programs threads are loosely coupled, i.e., the values of shared variables typically flow into a small number of conditional statements of threads, we show that classifying interleavings based on the control behaviors rather than the partial orders they induce, drastically reduces the number of interleavings that need be explored. In order to exploit this loose coupling we leverage the use of dataflow analysis for concurrent programs, specifically numerical domains. This, in turn, greatly enhances the scalability of concurrent program analysis.
منابع مشابه
Anaesthetic management of a Greek patient with congenital insensitivity to pain and anhidrosis undergoing a scheduled orthopaedic operation
Congenital insensitivity to pain with anhidrosis (CIPA) is a very rare hereditary syndrome worldwide due to certain gene mutations and histological appearances that affect the peripheral pathway of noxious stimuli transmission and the innervation of sweat glands. It is characterized by insensitivity to pain, anhidrosis, and heat intolerance. We describe the clinical features and the anaesthetic...
متن کاملEthylene regulates the susceptible response to pathogen infection in tomato.
Ethylene evolution occurs concomitantly with the progression of disease symptoms in response to many virulent pathogen infections in plants. A tomato mutant impaired in ethylene perception-Never ripe-exhibited a significant reduction in disease symptoms in comparison to the wild type after inoculations of both genotypes with virulent bacterial (Xanthomonas campestris pv vesicatoria and Pseudomo...
متن کاملInsensitivity to pain due to Genetic Mutation
Pain is neuroanatomically, psychologically and neurophysiologically complicated and its first function is protecting all alive creature body. This issue is so questionable and interesting that people who don’t feel pain how face this sensation and what problems threaten them. So many researchers by using 73 references, articles from electronical and library references have done a clinical...
متن کاملCongenital Insensitivity to Pain with Anhidrosis in an Iranian Patient
Congenital insensitivity to pain with anhidrosis is a rare disease of the nervous system which causes one to lose his/her feeling of pain. The disease is subtype four of hereditary sensory and autonomic neuropathy (HSAN IV) that results from NTRK1 gene defect. Direct sequencing was performed to screen NTRK1 for mutations. The result revealed a homozygous deletion of adenine on intron 14 that ma...
متن کاملSlipped Distal Femoral Epiphysis in Congenital Insensitivity to Pain
INTRODUCTION Congenital insensitivity to pain (CIP) is a rare disorder, and often presents to an orthopaedic surgeon as recurrent fractures, dislocations, pseudoarthrosis, osteomyelitis etc. Here, we report a case of congenital insensitivity to pain presenting with distal femoral physeal separation in a child. CASE REPORT A 12-year-old girl child came with complaints of limp while walking and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012